Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
101	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:53:25 Software engineering Unified Modeling Language Computing Modeling language Class diagram Object Process Methodology Abstract state machines Specification Profile Requirement Formal methods Executable UML
102	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
103	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
104	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
105	SIXTH FRAMEWORK PROGRAMME PRIORITY [#] [Information Societies Technology] Contract for: Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-11-01 05:48:34 Formal methods Computing Software engineering Engineering System of systems Dependability Systems engineering Programming tool Software development process Project management B-Method Software development
106	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
107	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
108	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
109	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
110	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution